Contact us Category listing - math (List all)
((V)irtual = Package is only listed here)
Previous | Query returned 717 packages, results 701 to 717 | Next

units GNU Units - a calculator capable of performing unit conversions
vista Visual statistics system
volk The Vector Optimized Library of Kernels
vowpal_wabbit Vowpal Wabbit is a machine learning system
wxmaxima Graphical UI for maxima
xeukleides10 X-Frontend for A Euclidean geometry drawing language
xfractint Fractint for X11
xgap GUI for GAP
xldlas XForms-based statistics package
xlife John Horton Conway's Game of Life
xlispstat Statistics/X11-based LISP interpreter
xmgr Powerful XY plotting tool for workstations or X-terminals using X
xylib Library for reading powder diffraction data
yacas Yet Another Computer Algebra System
yices2 Yices 2 SMT solver
yorick Numerical algebra system (similar to Matlab)
z3 The Z3 theorem prover / SMT solver